Diclib.com
Словарь ChatGPT

Поиск в словаре Индивидуальные решения

Введите слово или словосочетание на любом языке 👆

Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

как употребляется слово
частота употребления
используется оно чаще в устной или письменной речи
варианты перевода слова
примеры употребления (несколько фраз с переводом)
этимология

Что (кто) такое ML-lex - определение

TERM

Lex orandi-lex credendi; Lex orandi, lex credendi (Anglican); Lex credendi; Lex orandi; Lex orandi, lex credendi, lex vivendi

Найдено результатов: 340

ML-lex

A version of lex in SML/NJ which outputs a {lexical analyser} in SML/NJ. ml/75.tools.tar.Z">ftp://research.att.com/dist/ml/75.tools.tar.Z.

Lex Luthor

SUPERVILLAIN APPEARING IN DC COMICS PUBLICATIONS AND RELATED MEDIA

Luthor, Lex; Lex Luther; Thorul; Lex Luthor (Earth-One); Lex Lutor; Lex Luthor II; Alexander Joseph Luthor; Luthor; Lexor; Lex Luthor: The Unauthorized Biography; President Luther

Alexander Joseph "Lex" Luthor () is a supervillain appearing in American comic books published by DC Comics. The character was created by Jerry Siegel and Joe Shuster.

https://en.wikipedia.org/wiki/Lex_Luthor

Lex (URN)

URN NAMESPACE, A TYPE OF UNIFORM RESOURCE NAME, THAT ALLOWS ACCURATE IDENTIFICATION OF LAWS AND OTHER LEGAL NORMS

Transparent identifier; Transparent identifiers; Transparent unique identifier; Lex URN; LEX (URN)

is a URN namespace, a type of Uniform Resource Name (URN), that allows accurate identification of laws and other legal norms.

https://en.wikipedia.org/wiki/Lex_(URN)

Lex Calpurnia de repetundis

ROMAN LAW FROM 149 BC

Lex Calpurnia; Calpurnian Law

The lex Calpurnia de repetundis ("law of Calpurnius for the recovery of property") was a Roman law sponsored in 149 BC by the tribune of the plebs Lucius Calpurnius Piso. It established the first permanent criminal court in Roman history, in order to deal with the growing number of crimes committed by Roman governors in the provinces.

https://en.wikipedia.org/wiki/Lex_Calpurnia_de_repetundis

ml

WIKIMEDIA DISAMBIGUATION PAGE

Ml; ML (disambiguation); M.L.; M.l.; Ml.; M L

ml is a written abbreviation for millilitre
or millilitres
.

Boil the sugar and 100 ml of water.

ML

WIKIMEDIA DISAMBIGUATION PAGE

Ml; ML (disambiguation); M.L.; M.l.; Ml.; M L

Meta Language

ML

WIKIMEDIA DISAMBIGUATION PAGE

Ml; ML (disambiguation); M.L.; M.l.; Ml.; M L

1. <robotics> Manipulator Language. IBM language for handling robots. 2. Meta Language. R. Milner <rm@lfcs.edinburgh.ac.uk> et al, 1973. A strict higher-order functional language. It was the first language to include polymorphic typing which was statically-checked. It also had garbage collection and a formal semantics. It began as the metalanguage for the Edinburgh LCF proof assistant. (LCF="Logic for Computable Functions") People soon noticed that ML could be a useful general programming language and stand-alone versions were implemented. Standard ML (SML) is a descendant of these (and related languages such as Hope). The "metalanguage" aspect has long since disappeared from the language itself (although there are some systems that still use it that way). The historical name is now so inappropriate that asking what ML stands for is like asking what C or Unix stands for. It doesn't stand for anything; it just is. LCF ML was implemented in Stanford LISP. Cardelli (1981) implemented ML in Pascal using the {Functional Abstract Machine} (FAM). It has been significantly redesigned to produce Standard ML and Lazy ML. ["A Metalanguage for Interactive Proof in LCF", M.J.C. Gordon et al, 5th POPL, ACM 1978]. (2006-07-21)

ML

WIKIMEDIA DISAMBIGUATION PAGE

Ml; ML (disambiguation); M.L.; M.l.; Ml.; M L

Mail List

ml

WIKIMEDIA DISAMBIGUATION PAGE

Ml; ML (disambiguation); M.L.; M.l.; Ml.; M L

¦ abbreviation

1. mile(s).

2. millilitre(s).

ml

WIKIMEDIA DISAMBIGUATION PAGE

Ml; ML (disambiguation); M.L.; M.l.; Ml.; M L

<networking> The country code for Mali. (1999-01-27)

Википедия

Lex orandi, lex credendi

Lex orandi, lex credendi (Latin: "the law of what is prayed [is] the law of what is believed"), sometimes expanded as Lex orandi, lex credendi, lex vivendi (Latin: "the law of what is prayed [is] what is believed [is] the law of what is lived"), is a motto in Christian tradition, which means that prayer and belief are integral to each other and that liturgy is not distinct from theology. It refers to the relationship between worship and belief. As an ancient Christian principle it provided a measure for developing the ancient Christian creeds, the canon of scripture, and other doctrinal matters. It is based on the prayer texts of the Church, that is, the Church's liturgy. In the Early Church, there was liturgical tradition before there was a common creed, and before there was an officially sanctioned biblical canon. These liturgical traditions provided the theological (and doctrinal) framework for establishing the creeds and canon.

https://en.wikipedia.org/wiki/Lex orandi, lex credendi